sends{-}msgs($s$; $v$; ${\it tg\_f}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map(($\lambda$$x$.$<$${\it tg\_f}$.1, $x$$>$); ((${\it tg\_f}$.2)($s$,$v$)))